Section: Partnerships and Cooperations

International Research Visitors

• Giovanni Pardini: "Lazy Security Controllers."

• Antonio Ravara: "Towards static deadlock resolution in the pi-calculus."

• Silvia Crafa: "Concurrency theory and concurrent languages: an evolutionary view of programming abstractions."

• Henning Kerstan: "Probabilistic Transition Systems."

• Jean-Bernard Stefani: "Location graphs: yet another global computing model (but with reason)."

• Isabel Oitavem: "P, NP and Pspace from a recursion-theoretic perspective."

• Reinhard Kahle: "Theories for Classes of Computational Complexity."

• Violet Ka I Pun: "Meeting Deadlines, Elastically."

• Volker Stolz: "Search-based composed refactorings."

• Giuseppe De Ruvo: "An Unusual Context for Formal Verification: Wiki Evolution."

• Manuel Mazzara: "Applications of reversibility".

• Claudio Antares Mezzina and Doriana Medic: "Calculi for reversibility".

• Thomas Leventis: " Theories in Probabilistic lambda-calculus."

• Mirko Viroli: "Perspectives on Aggregate Computing".

• Benoit Valiron and Claudia Faggian: "Resource control and linear logics".

• Beniamino Accattoli: "Abstract machines and resource control".

• Georg Moser, Thomas Powell and Stephane Gimenez: "Tools for compuational complexity”.

• Ichiro Hasuo, Akira Yoshimizu, and Ryo Tanaka: "Game semantics".

• Ales Bizjak: "Step-Indexed Logical Relations for Probability".

• Roberto Di Cosmo: "Preserving Software: challenges and opportunities for reproducibility of Science and Technology".